全文获取类型
收费全文 | 310篇 |
免费 | 41篇 |
国内免费 | 38篇 |
出版年
2024年 | 1篇 |
2023年 | 2篇 |
2021年 | 9篇 |
2020年 | 12篇 |
2019年 | 24篇 |
2018年 | 10篇 |
2017年 | 19篇 |
2016年 | 22篇 |
2015年 | 7篇 |
2014年 | 33篇 |
2013年 | 42篇 |
2012年 | 17篇 |
2011年 | 16篇 |
2010年 | 13篇 |
2009年 | 17篇 |
2008年 | 23篇 |
2007年 | 21篇 |
2006年 | 20篇 |
2005年 | 21篇 |
2004年 | 19篇 |
2003年 | 9篇 |
2002年 | 3篇 |
2001年 | 5篇 |
2000年 | 2篇 |
1999年 | 7篇 |
1998年 | 6篇 |
1996年 | 2篇 |
1995年 | 1篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1988年 | 1篇 |
排序方式: 共有389条查询结果,搜索用时 31 毫秒
1.
2.
3.
4.
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。 相似文献
5.
动态武器-目标分配(DWTA)是坦克会战中取得战斗胜利的关键.建立了坦克战中DWTA模型,并提出了它的一种简单求解方法.实验结果表明求解方法是有效的. 相似文献
6.
网格生成是数值研究方法得以实现的基础。本文采用了Poisson方程生成数值网格,并针对方程源项的选择问题,对两种形式的源项作了比较研究。 相似文献
7.
8.
9.
10.
针对伪码截获这一无线电侦察和导航战中的难题,从模式识别的角度研究存在自干扰码时的伪码截获问题。通过对干扰码的载波频率、相位等参数的估计和补偿,将自干扰码下的伪码截获问题转换为模式识别问题。结合伪码的周期性,采用二进制积累的方法大大降低了判决前所要求的信噪比,使得对扩频信号直接解调以截获伪码成为可能,改变了过去依靠大口径天线提高信噪比的方法。 相似文献